validation using error proving in c